truth of a conditional statement